A nonstandard set theory in the ∈-language
نویسندگان
چکیده
Wedemonstrate that a comprehensive nonstandard set theory can be developed in the standard ∈-language. As an illustration, a nonstandard Law of Large Numbers is obtained.
منابع مشابه
A New Approach to Nonstandard Analysis
In this paper, we propose a new approach to nonstandard analysis without using the ultrafilters. This method is very simple in practice. Moreover, we construct explicitly the total order relation in the new field of the infinitesimal numbers. To illustrate the importance of this work, we suggest comparing a few applications of this approach with the former methods.
متن کاملUniversal Grammar and Chaos/Complexity Theory: Where Do They Meet And Where Do They Cross?
Abstract The present study begins by sketching "Chaos/Complexity Theory" (C/CT) and its applica-tion to the nature of language and language acquisition. Then, the theory of "Universal Grammar" (UG) is explicated with an eye to C/CT. Firstly, it is revealed that CCT may or may not be allied with a theory of language acquisition that takes UG as the initial state of language acquisition for ...
متن کاملNonstandard Analysis by Means of Ideal Values of Sequences
A notion of ideal value of N -sequences is axiomatized through elementary properties. The resulting theory ZFC[α] provides nonstandard analysis with a general foundational framework. 1991 MSC. Primary: 26E35, 03E70, 03H05. Secondary: 03C20, 03E35. In this paper, the axiomatic system ZFC[α] is presented. It is a generalization in a set theoretic context of an approach to nonstandard analysis rec...
متن کاملExistence and Uniqueness Results for a Nonstandard Variational-Hemivariational Inequalities with Application
This paper aims at establishing the existence and uniqueness of solutions for a nonstandard variational-hemivariational inequality. The solutions of this inequality are discussed in a subset $K$ of a reflexive Banach space $X$. Firstly, we prove the existence of solutions in the case of bounded closed and convex subsets. Secondly, we also prove the case when $K$ is compact convex subsets. Fina...
متن کاملNonstandard Consequence Operators
In 1963, Abraham Robinson applied his newly discovered nonstandard analysis to formal firstorder languages and developed a nonstandard logic [9] relative to the “truth” concept and structures. Since that time not a great deal of fundamental research has been attempted in this specific area with one notable exception [2]. However, when results from this discipline are utilized they have yielded ...
متن کامل